Skip to content

chore(main): release 1.13.1#158

Merged
ross-rl merged 1 commit into
mainfrom
release-please--branches--main--components--rl-cli
Mar 7, 2026
Merged

chore(main): release 1.13.1#158
ross-rl merged 1 commit into
mainfrom
release-please--branches--main--components--rl-cli

Conversation

@github-actions

@github-actions github-actions Bot commented Mar 7, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

1.13.1 (2026-03-07)

Bug Fixes

  • disable unfinished benchmark features in interactive UX (#157) (fd84d31)

This PR was generated with Release Please. See documentation.

@ross-rl ross-rl merged commit 58ff9f1 into main Mar 7, 2026
3 checks passed
@ross-rl ross-rl deleted the release-please--branches--main--components--rl-cli branch March 7, 2026 22:31
@github-actions

github-actions Bot commented Mar 7, 2026

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant